Shrinking the Generation-Verification Gap with Weak Verifiers
arxiv.org·1d
🧪CBOR Fuzzing
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.com·8h
📝Concrete Syntax
How to (Almost) solve cybersecurity once and for all
adaptive.live·17h·
Discuss: Hacker News
🔐Systems Hardening
About to Take the Plunge - Any Final Words of Advice?
bargainhardware.co.uk·37m·
Discuss: r/homelab
🔒Hardware Attestation
Kafka Fundamentals: kafka retention.ms
dev.to·4h·
Discuss: DEV
🌊Streaming Systems
Diving deep into Binius M3 arithmetization using Merkle tree inclusion as an example
blog.lambdaclass.com·1d
🌳Archive Merkle Trees
Program Execution, follow-up
windowsir.blogspot.com·2h·
Discuss: www.blogger.com
⚡Performance Tools
OpenELA Introduces Open-Source Verification Suite for Enterprise Linux
linuxiac.com·3h
🔓Open Source Software
Software Heritage: The next chapter
softwareheritage.org·1h
🏛️OAIS Implementation
Introduction to the Fundamentals of Amazon Redshift
redshift-observatory.ch·5h
🗃️Database Storage
LakeFS adds REST catalog support for data version control on structured data
lakefs.io·30m·
Discuss: Hacker News
🔌Archive APIs
Proving that every program halts
ntietz.com·2d
👑Isabelle
New: Improve Apache Iceberg query performance in Amazon S3 with sort and z-order compaction
aws.amazon.com·17h
🔄Burrows-Wheeler
5 huge stumbling blocks to legacy mainframe EOL
techradar.com·7h
🏛️Mainframe Archaeology
Solving LinkedIn Queens Using Haskell
imiron.io·1d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
Portable Network Graphics (PNG) Specification (Third Edition)
w3.org·17h·
Discuss: Hacker News
🕸️WebP Analysis
Memory Safety in Web Rust System Zero Cost Secure（1750794401345600）
dev.to·18h·
Discuss: DEV
🦀Rust Borrowing
Machine Learning Fundamentals: accuracy project
dev.to·1d·
Discuss: DEV
✅Archive Validation
Agentic Workflows Are Just Code – Treat Them That Way
restate.dev·1d·
Discuss: Hacker News
⚙️TLA+
The collective waste caused by poor documentation
shanrauf.com·12h·
Discuss: Hacker News
📦Deflate